;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(require "Mlist.lisp")
(require "Mtrim.lisp")
(require "Mmerge-sort.lisp")
(require "Mtranspose-fast.lisp")
(require "Mformulas-aux.lisp")
(require "Mschedule-criterion.lisp")
(require "Mgpa-criterion.lisp")
(require "Mgender-criterion.lisp")
(require "Mskill-sets-criterion.lisp")
(require "Mdriver.lisp")
(require "MAVLtree.lisp")
(require "Mformulas.lisp")
(require "Mrng.lisp")



; Call using
; (team-creator input-file output-file)
(link Rdriver
  (import)      
  (export Idriver)
  (Mlist Mtrim Mmerge-sort Mtranspose-fast Mformulas-aux
         Mschedule-criterion Mgpa-criterion Mgender-criterion Mskill-sets-criterion 
         Mformulas Mrng MAVLtree Mdriver))
  
 (invoke Rdriver)